$M$.A $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$a$:Knd$\mid$ $a$ $\in$ dom(1of(2of($M$))) \}